11![A Note on Monitor Versions Essay in the Honour of C.A.R. Hoare Ole-Johan Dahl Department of Informatics University of Oslo, Norway 30th July 1999 A Note on Monitor Versions Essay in the Honour of C.A.R. Hoare Ole-Johan Dahl Department of Informatics University of Oslo, Norway 30th July 1999](https://www.pdfsearch.io/img/7985b47cb28f7b9006161598539d0807.jpg) | Add to Reading ListSource URL: www.olejohandahl.infoLanguage: English - Date: 2013-09-23 13:44:35
|
---|
12![Unifying Refinement and Hoare-Style Reasoning in a Logic for Higher-Order Concurrency Aaron Turon Derek Dreyer Unifying Refinement and Hoare-Style Reasoning in a Logic for Higher-Order Concurrency Aaron Turon Derek Dreyer](https://www.pdfsearch.io/img/0fa44c1cd5b1128ef00171589c34f248.jpg) | Add to Reading ListSource URL: www.mpi-sws.orgLanguage: English - Date: 2013-07-22 04:30:15
|
---|
13![Reverse Hoare Logic? Edsko de Vries and Vasileios Koutavas Trinity College Dublin, Ireland {Edsko.de.Vries,Vasileios.Koutavas}@cs.tcd.ie Abstract. We present a novel Hoare-style logic, called Reverse Hoare Reverse Hoare Logic? Edsko de Vries and Vasileios Koutavas Trinity College Dublin, Ireland {Edsko.de.Vries,Vasileios.Koutavas}@cs.tcd.ie Abstract. We present a novel Hoare-style logic, called Reverse Hoare](https://www.pdfsearch.io/img/577cf5ff027806cd11b1fcedc67a565d.jpg) | Add to Reading ListSource URL: www.edsko.netLanguage: English - Date: 2016-08-02 06:27:04
|
---|
14![Advances in Programming Languages APL4: JML — The Java Modeling Language David Aspinall (slides originally by Ian Stark) School of Informatics Advances in Programming Languages APL4: JML — The Java Modeling Language David Aspinall (slides originally by Ian Stark) School of Informatics](https://www.pdfsearch.io/img/558439c0ba15382570813644bc253eab.jpg) | Add to Reading ListSource URL: www.inf.ed.ac.ukLanguage: English - Date: 2010-01-20 18:21:25
|
---|
15![Shallow embedding of a logic in Coq Jérôme Vouillon Universite Paris Diderot - Paris 7, CNRS
Motivation Hoare-style assertions Shallow embedding of a logic in Coq Jérôme Vouillon Universite Paris Diderot - Paris 7, CNRS
Motivation Hoare-style assertions](https://www.pdfsearch.io/img/f13007b85b072c13d8a66744b85cfbd2.jpg) | Add to Reading ListSource URL: www.cis.upenn.eduLanguage: English - Date: 2008-10-28 10:05:14
|
---|
16![Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information Nurlida Basir1 , Ewen Denney2 , and Bernd Fischer1 1 Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information Nurlida Basir1 , Ewen Denney2 , and Bernd Fischer1 1](https://www.pdfsearch.io/img/57218a13633c995d584e189b2ea9cc55.jpg) | Add to Reading ListSource URL: ti.arc.nasa.govLanguage: English |
---|
17![1 Introduction One of the most influential papers of Computer Science to appear during the late 1960’s undoubtedly was Tony’s “An Axiomatic Basis for Computer Programming” [1], introducing a special purpose logi 1 Introduction One of the most influential papers of Computer Science to appear during the late 1960’s undoubtedly was Tony’s “An Axiomatic Basis for Computer Programming” [1], introducing a special purpose logi](https://www.pdfsearch.io/img/0b9f5af5a988b1cf5c0e685c93d84fc0.jpg) | Add to Reading ListSource URL: www.olejohandahl.infoLanguage: English - Date: 2013-09-23 13:44:35
|
---|
18![A Note on Monitor Versions Essay in the Honour of C.A.R. Hoare Ole-Johan Dahl Department of Informatics University of Oslo, Norway 30th July 1999 A Note on Monitor Versions Essay in the Honour of C.A.R. Hoare Ole-Johan Dahl Department of Informatics University of Oslo, Norway 30th July 1999](https://www.pdfsearch.io/img/5e14dabb4264b4002581bb9398bf93fd.jpg) | Add to Reading ListSource URL: www.olejohandahl.infoLanguage: English - Date: 2013-09-23 13:44:35
|
---|
19![Dynamic Trace Logic: Definition and Proofs? Bernhard Beckert and Daniel Bruns?? Karlsruhe Institute of Technology, Department of Informatics Abstract. Dynamic logic is an established instrument for program verification a Dynamic Trace Logic: Definition and Proofs? Bernhard Beckert and Daniel Bruns?? Karlsruhe Institute of Technology, Department of Informatics Abstract. Dynamic logic is an established instrument for program verification a](https://www.pdfsearch.io/img/1c7a32430b8aaf856eb77149a117845a.jpg) | Add to Reading ListSource URL: formal.iti.kit.eduLanguage: English - Date: 2014-03-13 08:30:05
|
---|
20![Leveraging Parallel Data Processing Frameworks with Verified Lifting Maaz Bin Safeer Ahmad Alvin Cheung Leveraging Parallel Data Processing Frameworks with Verified Lifting Maaz Bin Safeer Ahmad Alvin Cheung](https://www.pdfsearch.io/img/e7c9f62dd19c602f6efd82ddb23fa5b5.jpg) | Add to Reading ListSource URL: homes.cs.washington.eduLanguage: English - Date: 2016-07-02 20:30:42
|
---|